Logical Omniscience and Resourse-Bounded Agents

نویسنده

  • Mark Whitsey
چکیده

This essay provides a cohesive overview of the work I have undertaken during my first year as a research student at the University of Nottingham, funded jointly by the School of Computer Science & IT and the Department of Philosophy. Current research, including the compilation of this essay, is funded by the Arts and Humanities Research Board (AHRB). The essay is organised as follows. The first three sections are taken from [Whi03], which provides an overview of my area of research. The following sections are derived from [NAWb] and [NAWa]. Both sections differ from the original papers to reflect only those aspects that are my own work. The final section draws the conclusions which I feel this work establishes and details my intentions for research over the next two years Chapter 1

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Knowledge, Logical Omniscience, and Resource-bounded Reasoning

Agent theories typically use modal epistemic logic for modeling knowledge of agents. Since the modal approach to epistemic logic cannot formalize resource-bounded reasoning adequately, it it not suited to describe realistic, implementable agents. We develop a framework for solving that problem. We introduce the notion of algorithmic knowledge — a concept that establishes a direct link between a...

متن کامل

Logics for resource-bounded agents

In this thesis, I criticise traditional epistemic logics based on possible worlds semantics, inspired by Hintikka, as a framework for representing the beliefs and knowledge of agents. The traditional approach suffers from the logical omniscience problem: agents are modelled as knowing all consequences of their knowledge, which is not an admissible assumption when modelling real-world reasoning ...

متن کامل

Rule-based and Resource-bounded: A New Look at Epistemic Logic

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

متن کامل

Decision Theory without Logical Omniscience: Toward an Axiomatic Framework for Bounded Rationality

I propose modeling boundedly rational agents as agents who are not logically omniscient — that is, who do not know all logical or mathematical implications of what they know. I show how a subjective state space can be derived as part of a subjective expected utility representation of the agent’s preferences. The representation exists under very weak conditions. The representation uses the famil...

متن کامل

Representing Knowledge of Resource-bounded Agents

We suggest a novel way for formalizing knowledge and belief of intelligent agent and argue that this is the notion we need to formalize agents in Distributed Artificial Intelligence. We introduce the notion of algorithmic knowledge — a concept that is suited for establishing a direct link between and agent’s available resources and his knowledge. We show that our concept of knowledge is useful ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004